#include <stdio.h>
int main()
{
    int i = 1;
    do {	
        i += 5;
    } while (i<17);
    printf("i=%d\n",i);
    return 0;
}